Buy Used and New Andrei Voronkov Books

Results for Andrei Voronkov

Showing 1 to 12 of 19 results
Handbook of Automated Reasoning: Vol 1 Handbook of Automated Reasoning: Vol 1 by

Handbook of Automated Reasoning: Vol 1

by


ISBN 13: 9780444829498

Format: Hardcover (996 pages)
Publisher: North Holland
Published: 21 Jun 2001

Save for later

 
New : $277.62  
New : $277.62
Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science) Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science) by Andrei Voronkov,Christoph Weidenbach

Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science)

by Andrei Voronkov,Christoph Weidenbach


ISBN 13: 9783642376504

Format: Paperback (460 pages)
Publisher: Springer
Published: 03 Apr 2013

Save for later

 
New : $64.93  
New : $64.93